1. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
2. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
3. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: (طهران)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997